The Form-digitizing and Variation Group of the Euclid Plane Geometry Theorem

• 欧氏平面几何定理的形数化及其变换群